body {
  font-size: 16px;
  --toc-width: 240px;
}
